1. Computational logic : logic programming and beyond : essays in honor of Robert A. Kowalski
پدیدآورنده : Antonis C. Kakas, Fariba Sadri )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic programming,، Automatic theorem proving,، Logic programming languages,، Kowalski, Robert
رده :
QA
76
.
L28
Vol
.
2407-2408
2. Mental simulation : evaluations and applications
پدیدآورنده : edited by Martin Davies and Tony Stone
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Insight,، Kowalski, Robert,، Thought and thinking
رده :
BF
449
.
5
.
M46
